propositional logic problems